Kurt Gödel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Gödel's centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Gödel's writings are among the topics (...) covered. Several chapters discuss his intellectual development and his relation to predecessors and contemporaries such as Hilbert, Carnap, and Herbrand. Others consider his views on justification in set theory in light of more recent work and contemporary echoes of his incompleteness theorems and the concept of constructible set"--Provided by publisher. (shrink)

This article presents a "new" theory of management for the new millennium: "new" not because singularly the ideas are recent, but because the combination of these older ideas collectively is novel. To some extent, this article represents the reestablishment of previously existing employment ethics that for various and sundry reasons lapsed into disuse in the past several decades. This article discusses employee relations ethics (ERE) in terms of an ERE credo and a set of assumptions. The modern millennium mission states (...) that all organizations (public and private) should primarily be employee centered, not owner or administrator controlled, customer or client driven, or both. (shrink)

Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Godel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm (...) of philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gode1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Godel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.". (shrink)

From its very beginnings Darwinian theory of Evolution has had a strong appeal for philosophers; attempts have been made, among others, to base a philosophical understanding of the nature of scientific change on the Darwinian principle of natural selection. In its first section the present paper gives a sketch of the conceptions of Ernst Mach, Karl Popper and Stephen Toulmin, which converge on the claim that scientific change not only can be seen in analogy to organismic evolution, but has (...) to be conceived of as evolutionary in a strict sense of the term. In the second section this claim is analyzed critically; it is asked, whether these conceptions are based on a correct understanding of Darwinian theory and whether they succesfully translate its basic assumptions to philosophy of science. In the final section some of the main philosophical implications of the evolutionary perspective on scientific change are discussed, especially its tendency to interpret this change as a natural process. (shrink)

Atheist philosophers Jean-Paul Sartre and Kurt Baier, though from different philosophical traditions, shared a common concern about the traditional Judeo-Christian-Muslim doctrine that human beings are the creations of a Supreme Being. For Sartre, in “Existentialism is a Humanism” (1946), a God who designed us would thereby detract from our freedom and dignity. For Baier, in “The Meaning of Life” (1957), the idea that God designs us to serve his own purposes was deeply offensive in treating us as artifacts, domestic (...) animals, or slaves. Indeed, Baier said explicitly what was implicit in Sartre: that the divine creation of humans as would violate Immanuel Kant’s respect for persons principle. But this Kantian objection is badly flawed in ignoring the crucial role of human free will in traditional Abrahamic theism. Still, if we focus not on the divine-creation doctrine but on the doctrine of eternal torment for non-worshippers of God, then traditional Abrahamic theism does arguably undermine human freedom and dignity. For the threat of eternal torment is extraordinarily coercive. Keywords: theism, artifacts, free will, eternal torment, coercion. (shrink)

A “slingshot” proof suggested by Kurt Gödel (1944) has been recast by Stephen Neale (1995) as a deductive argument showing that no non-truthfunctional sentence connective can permit the combined use, within its scope, of two truth-functionally valid inference principles involving defi- nite descriptions. According to Neale, this result provides indirect support for Russell’s Theory of Descriptions and has broader philosophical repercussions because descriptions occur in non-truth-functional constructions used to motivate talk about (e.g.) necessity, time, probability, causation, obligation, facts, (...) states of affairs, and propositions. (shrink)

In recent years, several remarkable results have shown that certain theorems of finite combinatorics are unprovable in certain logical systems. These developments have been instrumental in stimulating research in both areas, with the interface between logic and combinatorics being especially important because of its relation to crucial issues in the foundations of mathematics which were raised by the work of Kurt Godel. Because of the diversity of the lines of research that have begun to shed light on these issues, (...) there was a need for a comprehensive overview which would tie the lines together. This volume fills that need by presenting a balanced mixture of high quality expository and research articles that were presented at the August 1985 AMS-IMS-SIAM Joint Summer Research Conference, held at Humboldt State University in Arcata, California.With an introductory survey to put the works into an appropriate context, the collection consists of papers dealing with various aspects of 'unprovable theorems and fast-growing functions'. Among the topics addressed are: ordinal notations, the dynamical systems approach to Ramsey theory, Hindman's finite sums theorem and related ultrafilters, well quasiordering theory, uncountable combinatorics, nonstandard models of set theory, and a length-of-proof analysis of Godel's incompleteness theorem. Many of the articles bring the reader to the frontiers of research in this area, and most assume familiarity with combinatorics and/or mathematical logic only at the senior undergraduate or first-year graduate level. (shrink)

This book is a collection of eight substantial essays, the overall aim of which is to shed new light on the works of René Descartes, Gottfried Leibniz, and Pierre Bayle. The essays are original, and not reprints of earlier publications, having come to the collection by way of two separate commissions, and represent some of the best early Modern scholarship done within the past decade. The contributors are Stephen Menn, Tad Schmaltz, Steven Nadler, Stuart Brown, Christia Mercer, Catherine Wilson, (...) Thomas Lennon, and David Wooton. (shrink)

Reviews the book, Constructing the subject: Historical origins of psychological research by Kurt Danziger . Kurt Danziger's Constructing the Subject: Historical Origins of Psychological Research is a book of singular importance because it provides such a penetrating analysis, and does so in a manner that is cause for considerable reflection. In brief, Danziger provides a history lesson that not only situates the names and the projects of experimental psychology in the first part of this century, but also aims (...) to clarify the project of knowledge generation both past and present. Indeed, shades of Quine, Kuhn, and Hesse permeate this book in a way that demands psychologists examine their own investigative practices and logics of justification. Through Wundt, through Galton, through Ebbinghaus and others, Danziger illuminates the development of experimental psychology along with the historical and philosophical vicissitudes that have given rise to numerous psychological knowledge claims. If it is true that we must understand our history in order to understand our present, then Danziger's book should be required reading in all research laboratories. 2012 APA, all rights reserved). (shrink)

The Descartes Dictionary is an accessible guide to the world of the seventeenth-century philosopher René Descartes. Meticulously researched and extensively cross-referenced, this unique book covers all his major works, ideas and influences, and provides a firm grounding in the central themes of Descartes' thought. The introduction provides a biographical sketch, a brief account of Descartes' philosophical works, and a summary of the current state of Cartesian studies, discussing trends in research over the past four decades. The A-Z entries include clear (...) definitions of the key terms used in Descartes' writings and detailed synopses of his works. Also included are entries noting philosophical influences, of both figures that influenced Descartes and those that he in turn influenced. For anyone reading or studying Descartes, rationalism, or modern philosophy more generally, this original resource provides a wealth of useful information, analysis, and criticism. Including clear explanations of often complex terminology, The Descartes Dictionary covers everything that is essential to a sound understanding of Descartes' philosophy. (shrink)

In Return to Reason, Stephen Toulmin argues that the potential for reason to improve our lives has been hampered by a serious imbalance in our pursuit of ...

In this article, from the 2009 Oxford University Press collection Epistemic Value, I criticize existing accounts of epistemic normativity by Alston, Goldman, and Sosa, and then offer a new view.